Search Results
[Wadlerfest 2016] Tiark Rompf: The Essence of Multi-stage Evaluation in LMS
[Wadlerfest 2016] Neil Ghani: 2D Parametricity
Staged Abstract Interpreters
Tiark Rompf - DSL Embedding in Scala [1/2]
Precise Reasoning with Structured Time, Structured Heaps, and Collective Operations
Martin Odersky - DSL Summer School Intro
Tiark Rompf - Strong Normalization for Dependent Object Types (DOT)
[Midwest PL Summit] Opening Tiark Rompf and Milind Kulkarni
Abstraction Without Regret
Delite: A Compiler Framework for High-Performance Embedded DSLs - DSLFIN 2013
"How types can turn a SQL interpreter into a SQL compiler" by Tiark Rompf
Native Compilation for Spark and TensorFlow Pipelines (Tiark Rompf and Gregory Essertel)
![[Wadlerfest 2016] Tiark Rompf: The Essence of Multi-stage Evaluation in LMS](https://img.youtube.com/vi/GiNrMVvwt7c/hqdefault.jpg)
![[Wadlerfest 2016] Neil Ghani: 2D Parametricity](https://img.youtube.com/vi/mcpxL8uQ-ns/hqdefault.jpg)
![Tiark Rompf - DSL Embedding in Scala [1/2]](https://img.youtube.com/vi/16A1yemmx-w/hqdefault.jpg)
![[Midwest PL Summit] Opening Tiark Rompf and Milind Kulkarni](https://img.youtube.com/vi/mLu_lALQ_cM/hqdefault.jpg)
